AXIOMATIC DEFINITIONS OF PROGRAMMING LANGUAGES. A THEORETICAL ASSESSMENTMEYER AR; HALPERN JY.1980; ANNUAL SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES. 7/1980/LAS VEGAS NV; USA; NEW YORK: ACM; DA. 1980; PP. 203-212; BIBL. 17 REF.Conference Paper

PREUVE ET GENERATION D'ATTRIBUTS SEMANTIQUESDERANSART P.1978; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FRA; DA. 1978; PP. 1-27; 302; ABS. ENG; BIBL. 3 P.Serial Issue

ALGEBRAIC SEMANTICS AND PROGRAM LOGICS: ALGORITHMIC LOGIC FOR PROGRAM TREESENJALBERT P.1983; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1983; VOL. 148; PP. 132-147; BIBL. 17 REF.Conference Paper

(BUNDLES AND PROGRAMS SEMANTICS)RAMMESNAIT ABDALLAH MOHAND ARESKI.1980; ; FRA; DA. 1980; 2 VOL.; 30 CM; ABS. ENG; BIBL. 11 P.; TH.: SCI. MATH./PARIS 7/1980Thesis

SEMANTIQUE DE RESEAUX PARALLELES: UNE APPROCHE DU TEMPS REELBOUSSINOT F.1980; REV. TECH. THOMSON-CSF; FRA; DA. 1980; VOL. 12; NO 3; PP. 557-573; ABS. ENG; BIBL. 20 REF.Article

NONDETERMINISM AND JULLY ABSTRACT MODELSASTESIANO E; COSTA G.1980; R.A.I.R.O. INFORM. THEOR.; ISSN 0399-0540; FRA; DA. 1980; VOL. 14; NO 4; PP. 323-347; ABS. FRE; BIBL. 10 REF.Article

COMPLEMENTARY DEFINITIONS OF PROGRAMMING LANGUAGE SEMANTICS.DONAHUE JE.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 42; PP. 1-172; BIBL. 5 P. 1/2; ISBN 354007628XSerial Issue

IN-SCOTT-STARCHY STYLE DENOTATIONAL SEMANTICS, PARALLELISM IMPLIES NONDETERMINISMBENSON DB.1982; MATH. SYST. THEORY; ISSN 0025-5661; DEU; DA. 1982; VOL. 15; NO 3; PP. 265-275; BIBL. 16 REF.Article

FULL ABSTRACTION FOR SEQUENTIAL LANGUAGES: THE STATE OF THE ART = MODELE COMPLETEMENT ADEQUAT DE LANGAGES SEQUENTIELS: L'ETAT DE L'ARTBERRY GERARD; CURIEN PIERRE LOUIS; LEVY JEAN JACQUES et al.1983; ; FRA; PARIS: IMPR. I.N.R.I.A.; DA. 1983; INRIA/RR-197; 43 P.; 30 CM; ABS. FRE; BIBL. 46 REF.;[RAPP. RECH.-I.N.R.I.A.; ISSN 0249-6399; NO 197]Report

ON EFFECTIVE COMPUTATIONS OF NON-DETERMINISTIC SCHEMESPOIGNE A.1982; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1982; NO 137; PP. 313-336; BIBL. 16 REF.Conference Paper

CIRCULAR EXPRESSIONS: ELIMINATION OF STATIC ENVIRONMENTSSETHI R.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 378-392; BIBL. 2 P.Conference Paper

ON THE FORMAL DEFINITION OF ADADONZEAU GOUGE V; KAHN G; LANG B et al.1980; RIV. INF.; ITA; DA. 1980; VOL. 10; NO 1; PP. 5-14; BIBL. 13 REF.Article

A THEORY OF NONDETERMINISMKENNAWAY JR; HOARE CAR.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 338-350; BIBL. 6 REF.Conference Paper

ALGEBRAIC SEMANTICSGUESSARIAN I.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 99; 166 P.; BIBL. 13 P.Serial Issue

DISTANCES SEMANTIQUES CONTEXTUELLESIOSIFESCU I.1975; STUD. CERC. MAT.; ROMAN; DA. 1975; VOL. 27; NO 5; PP. 545-557; ABS. FR.; BIBL. 8 REF.Article

SUR LES SYSTEMES DE DEFINITIONS RECURSIVES PAR CAS: APPLICATION A LA SEMANTIQUE DENOTATIONNELLE = ON SYSTEMS OF DEFINITIONS RECURSIVE BY CASE: APPLICATION TO DENOTATIONAL SEMANTICSLAVANDIER FRANCOIS.1982; ; FRA; DA. 1982; 89 P.; 30 CM; BIBL. 3 P.; TH. 3E CYCLE: INF./BORDEAUX 1/1982/1737Thesis

LES MACHINES SEMANTIQUES1971; IN: 6EME CONGR. INT. CYBERN. NAMUR, 1970. ACTES; NAMUR; ASSOC. INT. CYBERN.; DA. 1971; PP. 471-577; BIBL. DISSEM.Conference Proceedings

A TEST OF FOUR PROPOSED NEW DIMENSIONS OF SEMANTIC SPACE.WICKENS DD; LINDBERG MA.1975; BULL. PSYCHON. SOC.; U.S.A.; DA. 1975; VOL. 6; NO 4A; PP. 381-382; BIBL. 4 REF.Article

PROGRAMMING LANGUAGE SEMANTICS IN A TYPED LAMBDA-CALCULUS.AIELLO L; AIELLO M.1975; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1975; VOL. 37; PP. 240-251; BIBL. 1 P. 1/2; (LAMBDA -CALCULS COMPUT. SCI. THEOR. PROC. SYMP.; ROME; 1975)Conference Paper

SEMANTICS AND AXIOMATICS OF A SIMPLE RECURSIVE LANGUAGE.COURCELLE B; VUILLEMIN J.1974; I.R.I.A., LAB. RECH. INFORMAT. AUTOMAT., RAPP. RECH.; FR.; DA. 1974; NO 60; PP. 1-14; BIBL. 28 REF.Article

UN LANGAGE D'EDIFICATION ET DE DESCRIPTION AUTOMATIQUEBRUSSET J; CAUSSE B; COMBE JP et al.1972; TOULOUSE; DA. 1972; PP. 1-11; BIBL. 3 REF.Miscellaneous

TREE CONSTRUCTIONS OF FREE CONTINUOUS ALGEBRASADAMEK J; NELSON E; REITERMAN J et al.1982; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1982; VOL. 24; NO 1; PP. 114-146; BIBL. 29 REF.Article

ON THE DEGREE OF COMPLEXITY OF SENTENTIAL LOGICS: A COUPLE OF EXEMPLESHAWRANEK J; ZYGMUNT J.1981; STUD. LOGICA; ISSN 0039-3215; POL; DA. 1981; VOL. 40; NO 2; PP. 141-153; BIBL. 16 REF.Article

EXTENDING THE EXPRESSIVE POWER OF SEMANTIC NETWORKS.SCHUBERT LK.1976; ARTIF. INTELLIG.; U.S.A.; DA. 1976; VOL. 7; NO 2; PP. 163-198; BIBL. 2 P. 1/2Article

UEBER ALLGEMEINE SEMIOTISCHE EIGENSCHAFTEN VON WORTMENGEN. = SUR LES PROPRIETES SEMIOTIQUES GENERALES DES GROUPES DE MOTSSCHREIBER A.1976; GRUNDLAGENSTUD. KYBERN. U. GEISTESWISSENSCH.; DTSCH.; DA. 1976; VOL. 17; NO 3; PP. 87-95; BIBL. 10 REF.Article